Isi/rr-76-4s Abstract Data Types and Software Validation
نویسندگان
چکیده
Data Types and Software Validation
منابع مشابه
Abstract Data Types and Software Validation, 1978
Data Types and Software Validation John V. Guttag, Ellis Horowitz, and David R. Musser University of Southern California A data abstraction can be naturally specified using algebraic axioms. The virtue of these axioms is that they permit a representation-independent formal specification of a data type. An example is given which shows how to employ algebraic axioms at successive levels of implem...
متن کاملAPE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms
The APE (Automatic Programming Expert) system constructs executable and efficient programs from ■ algebraic specifications of abstract data types, and • abstract algorithms given as conditional term-rewrite-rule-systems with term', built up from operation symbols of the abstract data types involved. The APE is an experimental system devised to develop methods for codifying a rather broad extent...
متن کاملتأثیر مصرف چای بر خطر شکستگی ناشی از پوکی استخوان در سالمندی: متاآنالیز مطالعات مشاهده‌ای
Objectives: There have been several studies published in the medical literature over the past 30 years that address the association between tea consumption and osteoporosis with inconsistent findings. A meta-analysis was undertaken, including 8 studies, to determine the effect of tea consumption on the risk of fracture. Methods & Materials: This systematic review and meta-analysis conducted ...
متن کاملSoftware Validation in Accredited Laboratories A Practical Guide
ftp://ftp.fasor.com/pub/iso25/validation/adequate_for_use.pdf 1 of 5 23 July 2012 Abstract Software used in accredited labs are used for acquisition, processing, recording, reporting, storage, or retrieval of accredited laboratory/test data. They can be classified under three types; COTS – Commercial off-the-shelf MOTS – Modified off-the-shelf CUSTOM – written code These three types of so...
متن کاملHandling of Unknown DNS Resource Record (RR) Types
Status of this Memo This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the "Internet Official Protocol Standards" (STD 1) for the standardization state and status of this protocol. Distribution of this memo is unlimited. Abstract Extending the Domain Name System...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013